Projectively well-ordered inner models
نویسندگان
چکیده
منابع مشابه
Projectively Well-Ordered Inner Models
We show that the reals in the minimal iterable inner model having n Woodin cardinals are precisely those which are A,‘+ 2 definable from some countable ordinal. (One direction here is due to Hugh Woodin.) It follows that this model satisfies “There is a A.‘+2 well-order of the reals”. We also describe some other connections between the descriptive set theory of projective sets and inner models ...
متن کاملPensioner ... nancial well - being , equivalence scales and ordered response models ¤
This paper uses ordered response models of pensioners’ subjective evaluations of their ...nancial positions to construct equivalence scales for pensioners. A range of di¤erent ordered response models is used. The paper examines the sensitivity of the estimated scale to (a) the econometric model used and (b) the measurement of income. A pensioner couple is found to require on average 1.3 to 1.4 ...
متن کاملWell-Founded Ordered Search: Goal-Directed Bottom-Up Evaluation of Well-Founded Models
There have been several evaluation mechanisms proposed for computing query answers based on the well-founded semantics, for programs with negation. However, these techniques are costly; in particular, for the special case of modularly stratiied programs, Ordered Search is more eecient than the general purpose techniques. However, Ordered Search is applicable only to modularly stratiied programs...
متن کاملFrom Well-Quasi-Ordered Sets to Better-Quasi-Ordered Sets
We consider conditions which force a well-quasi-ordered poset (wqo) to be betterquasi-ordered (bqo). In particular we obtain that if a poset P is wqo and the set Sω(P ) of strictly increasing sequences of elements of P is bqo under domination, then P is bqo. As a consequence, we get the same conclusion if Sω(P ) is replaced by J (P ), the collection of non-principal ideals of P , or by AM(P ), ...
متن کاملProjectively Bounded Fréchet Measures
A scalar valued set function on a Cartesian product of σ-algebras is a Fréchet measure if it is a scalar measure independently in each coordinate. A basic question is considered: is it possible to construct products of Fréchet measures that are analogous to product measures in the classical theory? A Fréchet measure is said to be projectively bounded if it satisfies a Grothendieck type inequali...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1995
ISSN: 0168-0072
DOI: 10.1016/0168-0072(94)00021-t